...学合作社 phil-commune 关键词:次协调逻辑;形式系统的语法等价;不一致;自引用 [gap=6233]Key words: Paraconsistent Logic; Syntactically-equivalent of Formal System; Inconsistent; Self-reference ..
基于2568个网页-相关网页
Paraconsistent Logic Programs 次协调逻辑程序
Nonmonotonic Paraconsistent Logic 非单调次协调逻辑
paraconsistent modal logic 弗协调模态逻辑
paraconsistent epistemic logic 弗协调认知逻辑
In the background da Costa founded paraconsistent logic.
在这一背景下达·科斯塔创立了弗协调逻辑。
参考来源 - 弗协调逻辑应用于道义逻辑的研究Paraconsistent logic has made great influence on logic, mathematics and philosophy.
亚相容逻辑的建立,对逻辑学、数学、哲学都产生了极大的影响。
参考来源 - 论亚相容逻辑中的“矛盾”——达科斯塔的亚相容逻辑思想述评·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
应用推荐